OpenMandriva Lx 4.2 Linux发行版现已可用于PC，Raspberry Pi等